MoVES: A Model-Driven Methodology for Vehicular Embedded Systems

This paper introduces a novel model-driven methodology for the software development of real-time distributed vehicular embedded systems on single-and multi-core platforms. The proposed methodology discloses the opportunity of improving the cost-efficiency of the development process by providing automated support to identify viable design solutions with respect to selected non-functional requirements. To this end, it leverages the interplay of modeling languages for the vehicular domain whose integration is achieved by a suite of model transformations. An instantiation of the methodology is discussed for timing requirements, which are among the most critical ones for vehicular systems. To support the design of temporally correct systems, cooperation between EAST-ADL and the Rubus component model is opportunely built-up by means of model transformations, enabling timing-aware design and model-based timing analysis of the system. The applicability of the methodology is demonstrated as the proof of concepts on industrial use cases performed in cooperation with our industrial partners

Are Children Like Werewolves? : Full Moon and Its Association with Sleep and Activity Behaviors in an International Sample of Children

In order to verify if the full moon is associated with sleep and activity behaviors, we used a 12-country study providing 33,710 24-h accelerometer recordings of sleep and activity. The present observational, cross-sectional study included 5812 children ages 9-11 years from study sites that represented all inhabited continents and wide ranges of human development (Australia, Brazil, Canada, China, Colombia, Finland, India, Kenya, Portugal, South Africa, United Kingdom, and United States). Three moon phases were used in this analysis: full moon (4 days; reference), half moon (5-9 days), and new moon (+10-14 days) from nearest full moon. Nocturnal sleep duration, moderate -to vigorous physical activity (MVPA), light-intensity physical activity (LPA), and total sedentary time (SED) were monitored over seven consecutive days using a waist -worn accelerometer worn 24 h a day. Only sleep duration was found to significantly differ between moon phases (-5 min/night shorter during full moon compared to new moon). Differences in MVPA, LPA, and SED between moon phases were negligible and non-significant (Peer reviewe

Interval Analysis of C-variables using Abstract Interpretation

Interpretation Andreas Ermedahl Mikael Sjodin December 18, 1996 Department of Computer Systems, Uppsala University Box 325, S-751 05 Uppsala, Sweden email: febbe, [email protected] Contents 1 Introduction 4 2 Data Flow Analysis 4 2.1 Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Program description . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 Fixpoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Iteration strategies . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Jacobi iteration . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 Chaotic iteration . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3 Introducing Intervals 7 4 Interval Abstraction 8 4.1 Galois connection . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Monotonicity of ff . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Monotonicity of fl . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 ff(d) v d 0 , d ` fl(d..

Worst-Case Execution-Time Analysis for Embedded Real-Time Systems?

In this article we give an overview of the Worst-Case Execution Time (WCET) analysis research performed by the WCET group of the ASTEC Competence Center at Uppsala University. The basis for this work is our modular architecture for a WCET tool, used both to identify the components of the overall WCET analysis problem, and as a starting point for the development of an industry strength WCET tool prototype. Within this framework we have proposed solutions to several key problems in WCET analysis, including representation and analysis of the control ow of programs, modeling of the behavior and timing of pipelines and other low-level timing aspects, integration of the control ow information and low-level timing to obtain a safe and tight WCET estimate, and validation of our tools and methods. We have focussed on the needs of embedded realtime systems in designing our tools and directing our research. Our long-term goal is to provide WCET analysis as a part of the standard tool chain for embedded development (together with compilers, debuggers, and simulators). This is substantially facilitated by our close cooperation with the embedded systems programming-tools vendor IAR Systems